121. Categorical aspects of topology and analysis : Proceedings of an International Conference held at Carleton University, Ottawa, August 11-15, 1981
پدیدآورنده : edited by B. Banaschewski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Topology,Congresses ، Functional analysis
رده :
QA
3
.
L28
Vol
.
915
122. Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981
پدیدآورنده : edited by B. Banaschewski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Topology,Congresses ، Functional analysis
رده :
QA
169
.
C3
1981
123. Categorical aspects of topology and analysis: proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Topology,Congresses ، Functional analysis
رده :
QA
3
.
L28
no
.
915
124. Categorical aspects of topology and analysis : proceedings of an international conference held at Carleton University, Ottawa, August 11-15, 1981
پدیدآورنده : edited by B. Banaschewski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Topology,Congresses ، Functional analysis
رده :
QA
1
.
L4
v
.
915
125. Categorical closure operators
پدیدآورنده : Castellini, Gabriele.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Categories )Mathematics(,، Closure operators
رده :
QA
169
.
C34
2003
126. Categorical constructions in stable homotopy theory.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics),Complexes.,Homotopy theory.
127. Categorical constructions in stable homotopy theory. A seminar given at the ETH, Zurich, in 1967
پدیدآورنده : Tierney, Myles
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
3
.
L28
no
.
87
128. Categorical constructions in stable homotopy theory. A seminar given at the ETH, Zurich, in 1967
پدیدآورنده : Tierney, Myles.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
1
.
L4
v
.
87
129. Categorical constructions in stable homotopy theory : a seminar given at the ETH, Zurich, in 1967
پدیدآورنده : Tierney, Myles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
611
.
T56
1969
130. Categorical constructions in stable homotopy theory : a seminar given at the ETH, Zurich, in 1967
پدیدآورنده : Tierney, Myles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
3
.
L28
Vol
.
87
131. Categorical contructions in stable homotopy theory. A seminar given at the ETH, Zurich, in 1967
پدیدآورنده : Tierney, Myles
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Homotopy theory,، Categories )Mathematics(,، Complexes
رده :
QA
3
.
L28
no
.
87
132. Categorical foundations : special topics in order, topology, and Sheaf theory
پدیدآورنده : edited by Maria Cristina Pedicchio, Walter Tholen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Categories )Mathematics(
رده :
QA
169
.
C29
133. Categorical logic and type theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Type theory. ; Categories (Mathematics) ;
134. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
135. Categorical logic and type theory
پدیدآورنده : / Bart Jacobs
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Type theory.,Categories (Mathematics)
رده :
QA9
,.
J27
,
1999
136. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
137. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
138. Categorical methods in computer science : with aspects from topology
پدیدآورنده :
موضوع : ، Computer science - Congresses,، Categories )Mathematics( - Congresses,، Topology - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
139. Categorical spects of topology and analysis: proceedings of an International conference held at Carleton University, Ottawa, August 11-15, 1981
پدیدآورنده : edited by B. Banaschewski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
3
.
L28
no
.
915
140. Categorical structure of closure operators with applications to topology, algebra, and discrete mathematics
پدیدآورنده : by D. Dikranjan and W. Tholen
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Categories )Mathematics(,Closure operators
رده :
QA
169
.
D544
1995
